// @ts-nocheck
// 移除元素类型中的第一个类型
type Shift<T extends any[]> = T extends [infer First,...infer R] ? [...R] : T;

type A = Shift<[1,2,3]>;
type B = Shift<[1]>;
type C = Shift<[]>;

export {}